The Detection of the Termination of Partial Computations. Temporal Logics Turn out to Be a Suitable Formal Framework for Reasoning about Systems of Distributed Autonomous Agents That Can Easily Modelled by Actors. References

نویسنده

  • Zohar Manna
چکیده

A. Yonezawa. ABCL/onEM-4: a new software/hardware architecture for object-oriented concurrent computing on an extended data-flow computer. In

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Formal Specification of Reflective Agents

Many autonomous agents exhibit reflective behaviour: they not only reason about their own behaviour, but also about other agents' behaviour. To model and formally specify such behaviour requires a framework which provides constructs designed for this purpose. DESIRE (framework for DEsign and Specification of Interacting REasoning components; cf. [LPT92], [BTWW94]), a compositional framework for...

متن کامل

CHAPTER 10: Temporal Belief Logics for Modelling Distributed Artificial Intelligence Systems

In this article, we look at formal methods for reasoning about multi-agent systems, with particular emphasis on the twin problems of specifying and verifying such systems. We begin by critically reviewing several types of formalism, from both AI and mainstream computer science, which suggest themselves as possible candidates for the task. This review leads us to conclude that none of these form...

متن کامل

Determination of Stability Domains for Nonlinear Dynamical Systems Using the Weighted Residuals Method

Finding a suitable estimation of stability domain around stable equilibrium points is an important issue in the study of nonlinear dynamical systems. This paper intends to apply a set of analytical-numerical methods to estimate the region of attraction for autonomous nonlinear systems. In mechanical and structural engineering, autonomous systems could be found in large deformation problems or c...

متن کامل

A Context-aware Architecture for Mental Model Sharing through Semantic Movement in Intelligent Agents

Recent studies in multi-agent systems are paying increasingly more attention to the paradigm of designing intelligent agents with human inspired concepts. One of the main cognitive concepts driving the core of many recent approaches in multi agent systems is shared mental models. In this paper, we propose an architecture for sharing mental models based on a new concept called semantic movement....

متن کامل

A Framework to Reason about the Knowledge of Agents in Continuous Dynamic Systems

Applying formal methods to a group of agents provides a precise and unambiguous definition of their behaviors, as well as verify properties of agents against implementations. Hybrid automaton is one of the formal approaches that are used by several works to model a group of agents. Several logics have been proposed, as extension of temporal logics to specify and hence verify those quantitative ...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

عنوان ژورنال:

دوره   شماره 

صفحات  -

تاریخ انتشار 1997